check_log.h

Go to the documentation of this file.

// WOLF - Copyright (C) 2020-2026
// Institut de Robòtica i Informàtica Industrial, CSIC-UPC.
// Authors: Joan Solà Ortega (jsola@iri.upc.edu) and
// Joan Vallvé Navarro (jvallve@iri.upc.edu)
// All rights reserved.
//
// This file is part of WOLF: http://www.iri.upc.edu/wolf
// WOLF is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License version 3
// as published by the Free Software Foundation.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program. If not, see <http://www.gnu.org/licenses/>.
#pragma once
 
#include <iostream>
#include <string>
#include <sstream>
 
namespace wolf
{
class CheckLog
{
  public:
    bool        is_consistent_;
    std::string explanation_;
 
    CheckLog();
    CheckLog(bool _consistent, std::string _explanation);
    ~CheckLog(){};
    void compose(CheckLog l);
    void assertTrue(bool _condition, std::stringstream& _stream);
};
 
}  // namespace wolf